$s$ $\times$ $t$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mk\_dset(:$\mid$$s$$\mid$ $\times$ $\mid$$t$$\mid$, $\lambda$$a$,$b$. $a$ =$_{b}$ $b$)